SDQ-LLM: Sigma-Delta Quantization for 1-bit LLMs of any size
reddit.com·3h·
Discuss: r/LocalLLaMA
📏Linear Memory
Vector Trifference
arxiv.org·2h
🎯Bit Vectors
Toy Binary Decision Diagrams
philipzucker.com·1d
Type Checking
The Danger of High (or Small) Numbers In Your Computer And ML Models
pub.towardsai.net·8h
🎯Bit Vectors
Introducing OpenZL: An Open Source Format-Aware Compression Framework
engineering.fb.com·14h·
📦Compression Algorithms
Implicit Models: Expressive Power Scales with Test-Time Compute
arxiv.org·2h
🌱Minimal ML
LLM Optimization Notes: Memory, Compute and Inference Techniques
gaurigupta19.github.io·14h·
Discuss: Hacker News
🗺️Region Inference
Automated Verification of Code Logic & Security Vulnerabilities via Hyperdimensional Semantic Analysis
dev.to·1d·
Discuss: DEV
🌳Pattern Match Compilation
From Matmul to Meaning
evis.dev·3h·
Discuss: Hacker News
🧮Linear Algebra
Self-Extracting F3
buttondown.com·12h·
Discuss: Hacker News
📊Row Polymorphism
Fun with HyperLogLog and SIMD
vaktibabat.github.io·2d·
🔢Bit Manipulation
News for September 2025
ptreview.sublinear.info·2d
🎲Property Testing
What happened to Longcat models? Why are there no quants available?
huggingface.co·12h·
Discuss: r/LocalLLaMA
Gleam
Algorithms For Black-Box, Physical-to-DRAM Address-Mapping Recovery (Georgia Tech, CNRS, Et Al.)
semiengineering.com·9h
🏷️Memory Tagging
Rigorous Evaluation of Microarchitectural Side-Channels with Statistical Model Checking
arxiv.org·1d
📱Bytecode Design
Predictive Coding Light
nature.com·1d
🗺️Region Inference
Property-based testing of batch-invariant operations
mmaaz.ca·1d·
Discuss: Hacker News
🎲Property Testing
A Global Mining Dataset
tech.marksblogg.com·19h·
Discuss: Hacker News
📈Earley Parsing
A multi-platform GPU accelerated library for signal analysis using Apple MLX
byron-the-bulb.github.io·10h·
Discuss: Hacker News
Gleam
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·15h·
Discuss: DEV
🌿Trie Variants